/*
	kputs.c: definition of the kputs() function, used in kernel debugging

	Part of the as-yet-unnamed MC68010 operating system


	(c) Stuart Wallace, May 2012.
*/

#include <stdarg.h>
#include "include/debug.h"
#include "duart.h"

#ifdef TEST
#include <stdio.h>
#endif


/* XXX void? really? */
void kprintf(ks8 *format, ...)
{
	va_list ap;

	va_start(ap, format);

#ifndef TEST

	/* TODO: implement a simple kernel printf() here... */

#else
	vprintf(format, ap);
#endif

	va_end(ap);
}

